-
1 плоский морфизм
Mathematics: flat morphism -
2 плоский морфизм
flat morphism мат.Русско-английский научно-технический словарь Масловского > плоский морфизм
См. также в других словарях:
ПЛОСКИЙ МОРФИЗМ — морфизм схем такой, что для любой точки локальное кольцо является плоским над (см. Плоский модуль). Вообще, пусть пучок модулей, он наз. плоским над Yв точке , если плоский модуль над кольцом … Математическая энциклопедия
ГЛАДКИЙ МОРФИЗМ — схем обобщение на случай схем понятия семейства неособых алгебраических многообразий. В классич. случае морфизма комплексных алгебраич. многообразий это понятие сводится к понятию регулярного отображения (субмерсии) комплексных многообразий.… … Математическая энциклопедия
ЭТАЛЬНЫЙ МОРФИЗМ — гладкий морфизм алгебраич. многообразий или схем относительной размерности 0. Эквивалентным образом можно определить Э. м. схем как локально конечно представленный плоский морфизм такой, что для любой точки k(y) cxeмa конечна и сепарабельна. Э. м … Математическая энциклопедия
ЗАМЕНА БАЗЫ — теоретико категорная конструкция, частными случаями которой являются понятие индуцированного расслоения в топологии, а также понятие расширения кольца скаляров в теории модулей. Пусть С категория с расслоенными произведениями и g: морфизм этой… … Математическая энциклопедия
ОСОБАЯ ТОЧКА — 1) О. т. аналитической функции f(z) препятствие для аналитического продолжения элемента функции f(z) комплексного переменного zвдоль какого либо пути на плоскости этого переменного. Пусть аналитическая функция f(z) определена некоторым… … Математическая энциклопедия
БРАУЭРА - СЕВЕРИ МНОГООБРАЗИЕ — алгебраическое многообразие над полем k, которое, если его рассматривать над алгебраич. замыканием поля , изоморфно проективному пространству. Арифметич. свойства таких многообразий изучал Ф. Севери (F. Severi, 1932), позднее Ф. Шатле [1] вскрыл… … Математическая энциклопедия
РАЦИОНАЛЬНАЯ ОСОБЕННОСТЬ — нормальная особая точка Р алгебраич. многообразия или комплексно аналитич. ространства X, допускающая разрешение особенности , при к ром прямые образы структурного пучка О Y тривиальны при . Тогда этим свойством будет обладать и любое разрешение… … Математическая энциклопедия
СХЕМА — окольцованное пространство, локально изоморфное аффинной схеме. Подробнее, С. состоит из топологич. пространстна X (базисного пространства схемы) и пучка коммутативных колец с единицей на Х (структурного пучка схемы); при этом должно существовать … Математическая энциклопедия
МОДУЛЕЙ ТЕОРИЯ — теория, изучающая непрерывные семейства объектов алгебраич. геометрии. Пусть А класс объектов алгебраич. геометрии (многообразий, схем, векторных расслоений и т. п.), на к ром задано нек рое отношение эквивалентности R. Основная задача… … Математическая энциклопедия
КОНЕЧНАЯ ГРУППОВАЯ СХЕМА — групповая схема, конечная и плоская над базисной схемой. Если G К. г. с. над схемой то где конечный плоский квазикогерентный пучок алгебр над В дальнейшем предполагается, что Sлокально нётерова. В этом случае пучок является локально свободным.… … Математическая энциклопедия
ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… … Математическая энциклопедия